package com.quintus.opensource.kitt.core.util;

public interface ITTCNKeyWords {
	/**
	 * Semantic block key words
	 * */
	public static final String TYPE = "type";
	/**
	 * structured type key words
	 * */
	public static final String RECORD = "record";
	public static final String SET = "set";
	public static final String ENUMERATED = "enumerated";
	public static final String UNION = "union";

	/**
	 * Special data type key words
	 * */
	public static final String ANYTYPE = "anytype";

	/**
	 * Special configuration type key words
	 * */
	public static final String ADDRESS = "address";
	public static final String PORT = "port";
	public static final String COMPONET = "component";

	/**
	 * Special default type key words
	 * */
	public static final String DEAULT = "default";
	/**
	 * Basic string type key words
	 * */
	public static final String BITSTRING = "bitstring";
	public static final String HEXSTRING = "hexstring";
	public static final String OCTETSTRING = "octetstring";
	public static final String CHARSTRING = "charstring";

	/**
	 * Simple basic type key words
	 * */
	public static final String INTEGER = "integer";
	public static final String CHAR = "char";
	public static final String FLOAT = "float";
	public static final String BOOLEAN = "boolean";
	public static final String OBJID = "objid";
	public static final String VERDICTTYPE = "verdicttype";

	/**
	 * Other key words
	 * */
	public static final String UNIVERSAL = "universal";
	public static final String OF = "of";
	String VAR = "var";
	String MODULE = "module";
	String IMPORT = "import";
	String FROM = "from";
	String TESTCASE = "testcase";
	String TIMER = "timer";
	String CONTROL = "control";
	String STOP = "stop";
	String FUNCTION = "function";
	String ALT = "alt";
	String ALL = "all";
	String RUNS = "runs";
	String ON = "on";
	String TEMPLATE = "template";
	/**
	 * logic operator
	 * */
	String FOR = "for";
	String WHILE = "while";
	String IF = "if";
}
